世界一流航天发射中心发展对策探究

“发展航天事业，建设航天强国是我们不懈追求的航天梦” ，建设实力雄厚、现代化、技术一流的航天发射中心，不断推进航天强国战略发展步伐。本文辨析了世界一流航天发射中心的概念和所具备的特征，并从先天优势、发展实力、组织管理等方面分析了航天发射中心发展的内在要求，提出了现役航天发射中心转型发展对策，为航天强国建设提供理论支撑。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

空间信息获取系统建模与分析*

分析了空间信息获取系统概念和运作过程，建立了空间信息获取系统的SysML模型以及赋时CPN模型：通过CPNTools状态空间分析工具，验证了空间信息获取系统的逻辑性；运用CPNTools对模型进行仿真，依据仿真数据分析了空间信息获取系统的性能，并给出了空间信息获取系统的改进建议。     

大空间建筑烟气流动特性与防排烟设计对策

分析了大空间公共建筑烟气的流动特性，指出了目前大空间公共建筑在防排烟方面存在的问题，据此提出了设置吹吸式空气幕墙、软性活动式挡烟垂壁、带有伸缩管道的排烟口等大空间建筑有效防排烟设计对策。     

基于扩展HTN规划的作战任务分析方法

任务分析是一个认识和了解任务本质的过程,作为作战计划拟制过程中的一个核心环节,作战任务分析的结论是否准确决定着作战计划的好与坏,并影响战争的结局。为了解决目前任务分析没有统一的标准及合适方法的问题,分析了层级任务网络(HTN)在任务分析中的不足之处,给出了OOR框架进行任务细化的方法和步骤,将其作为领域知识引入HTN规划,为任务分析提供了一个有效的方法,并设计了图元素用于表示任务树中任务之间的层级关系以及时序逻辑关系。最后以空间信息支援作战为例,验证了方法的可行性和有效性。     

电磁轨道发射器动态发射过程的数值模拟

针对电磁轨道发射器动态发射过程的数值模拟问题,基于矢量磁位A和时间积分标量电位V,采用节点单元法,并选择运动坐标系描述运动问题,推导出动态发射下的电磁轨道发射器三维涡流场有限元离散方程。结合温度场控制方程,建立电磁轨道发射器的三维电磁-温度耦合有限元模型。针对一个电磁轨道发射器动态发射问题,对模型进行数值模拟,得到了动态发射下轨道及电枢的温度场分布特点及发射器电感梯度随时间的变化规律。计算结果表明,模型计算出的脉冲电流峰值、出口电流大小、出口速度等参数均与试验结果吻合较好,验证了所开发的有限元程序代码的正确性。     

临近空间高超声速目标跟踪方法研究?

临近空间高超声速目标跟踪技术研究在空天防御系统中具有重要军事意义和理论价值。本文综述了临近空间高超声速目标跟踪中的目标运动建模、目标跟踪算法等研究内容的研究进展，并对其存在的问题进行了深入分析。针对这类目标跟踪存在的问题，结合临近空间高超声速目标探测跟踪需求，指出了临近空间高超声速目标跟踪技术的研究思路，为相关研究提供了参考。     

基于拓扑结构的空间信息网络脆弱性分析

建立了空间信息网络拓扑结构，提出了基于拓扑结构的空间信息网络脆弱性分析方法，设计了空间信息网络脆弱性分析系统，并对假定的空间信息网络拓扑结构的脆弱性进行了分析。     

一致光滑Banach空间中一类非线性算子方程的解

证明了一个新的锐角原理,在不使用连续性条件的情况下,给出了在一致光滑Banach空间中一类非线性算子方程的可解性定理。     

联合作战中空间力量指挥体制方案的仿真评估

联合作战中空间力量指挥体制决定相应指挥体系的效能,有必要通过定理评估对指挥体制方案进行优选和优化,通过仿真评估方案的实体形式--联合作战中空间力量指挥体系的指挥效能来评估对应的指挥体制方案,基于指挥体系活动能力建立了指挥效能指标体系,提出了用于指挥体制方案评估的仿真系统设计方案.